11 Direct independence proofs (BAPLaCT)